Yep, I tried my best to explain stuff in the readme there. Basically, over multiple iterations, we are looking to build cryptographic hardware (here it's symmetric encryption, later come PQ signatures) with verifiable security properties without any form of obscurity or obfuscation.
